[INFO] fetching crate btor2tools-sys 1.1.0...
[INFO] fixing btor2tools-sys-1.1.0 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=end=2015,2024 for pr-157817-2
[INFO] extracting crate btor2tools-sys 1.1.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate btor2tools-sys 1.1.0
[INFO] finished tweaking crates.io crate btor2tools-sys 1.1.0
[INFO] tweaked toml for crates.io crate btor2tools-sys 1.1.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate btor2tools-sys 1.1.0 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 49 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.68.1 (available: v0.72.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2
[INFO] running `Command { std: "docker" "start" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=end=2015,2024", kill_on_drop: false }`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2018 edition to 2021
[INFO] [stderr] note: Switching to Edition 2021 will enable the use of the version 2 feature resolver in Cargo.
[INFO] [stderr] This may cause some dependencies to be built with fewer features enabled than previously.
[INFO] [stderr] More information about the resolver changes may be found at https://doc.rust-lang.org/nightly/edition-guide/rust-2021/default-cargo-resolver.html
[INFO] [stderr] When building the following dependencies, the given features will no longer be used:
[INFO] [stderr] 
[INFO] [stderr]   libc v0.2.186 (as host dependency) removed features: extra_traits, std
[INFO] [stderr] 
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling memchr v2.8.2
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling bindgen v0.68.1
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling copy_dir v0.1.3
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling regex v1.12.4
[INFO] [stderr]    Compiling btor2tools-sys v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating build.rs from 2018 edition to 2021
[INFO] [stderr]    Migrating src/lib.rs from 2018 edition to 2021
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 53.08s
[INFO] [stderr] crater-edition-check: btor2tools-sys v1.1.0 (/opt/rustwide/workdir) updating edition from 2018 to 2021
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling bindgen v0.68.1
[INFO] [stderr]    Compiling btor2tools-sys v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 22s
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2018 edition to 2021
[INFO] [stderr] note: Switching to Edition 2021 will enable the use of the version 2 feature resolver in Cargo.
[INFO] [stderr] This may cause some dependencies to be built with fewer features enabled than previously.
[INFO] [stderr] More information about the resolver changes may be found at https://doc.rust-lang.org/nightly/edition-guide/rust-2021/default-cargo-resolver.html
[INFO] [stderr] When building the following dependencies, the given features will no longer be used:
[INFO] [stderr] 
[INFO] [stderr]   libc v0.2.186 (as host dependency) removed features: extra_traits, std
[INFO] [stderr] 
[INFO] [stderr]     Checking btor2tools-sys v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating src/lib.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs (10 fixes)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 23s
[INFO] [stderr] crater-edition-check: btor2tools-sys v1.1.0 (/opt/rustwide/workdir) updating edition from 2021 to 2024
[INFO] [stderr]    Compiling btor2tools-sys v1.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:8251
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...fy ! (_unused2))) ; } extern "C" { pub fn fclose (__stream : * mut FILE) -> :: std :: os :: raw :: c_int ; } extern "C" { pub fn f...
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:8338
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn fopen (__filename : * const :: std :: os :: raw :: c_char , __modes : * const :: std :: os :: raw :: c_char) -> * mut FILE ; } # ...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21130
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... "::" , stringify ! (next))) ; } extern "C" { pub fn btor2parser_new () -> * mut Btor2Parser ; } extern "C" { pub fn btor2parser_d...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21194
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...w () -> * mut Btor2Parser ; } extern "C" { pub fn btor2parser_delete (arg1 : * mut Btor2Parser) ; } extern "C" { pub fn btor2parse...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21264
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...or2Parser) ; } extern "C" { pub fn btor2parser_read_lines (arg1 : * mut Btor2Parser , arg2 : * mut FILE) -> i32 ; } extern "C" { p...
[INFO] [stdout]   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21365
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...> i32 ; } extern "C" { pub fn btor2parser_error (arg1 : * mut Btor2Parser) -> * const :: std :: os :: raw :: c_char ; } extern "C"...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21475
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... raw :: c_char ; } extern "C" { pub fn btor2parser_iter_init (bfr : * mut Btor2Parser) -> Btor2LineIterator ; } extern "C" { pub f...
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21568
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...ineIterator ; } extern "C" { pub fn btor2parser_iter_next (arg1 : * mut Btor2LineIterator) -> * mut Btor2Line ; } extern "C" { pub...
[INFO] [stdout]   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21666
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...or) -> * mut Btor2Line ; } extern "C" { pub fn btor2parser_max_id (arg1 : * mut Btor2Parser) -> i64 ; } extern "C" { pub fn btor2p...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21743
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...-> i64 ; } extern "C" { pub fn btor2parser_get_line_by_id (arg1 : * mut Btor2Parser , id : i64) -> * mut Btor2Line ; }
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `btor2tools-sys` (lib) due to 10 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:8251
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...fy ! (_unused2))) ; } extern "C" { pub fn fclose (__stream : * mut FILE) -> :: std :: os :: raw :: c_int ; } extern "C" { pub fn f...
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:8338
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... } extern "C" { pub fn fopen (__filename : * const :: std :: os :: raw :: c_char , __modes : * const :: std :: os :: raw :: c_char) -> * mut FILE ; } # ...
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21130
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... "::" , stringify ! (next))) ; } extern "C" { pub fn btor2parser_new () -> * mut Btor2Parser ; } extern "C" { pub fn btor2parser_d...
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21194
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...w () -> * mut Btor2Parser ; } extern "C" { pub fn btor2parser_delete (arg1 : * mut Btor2Parser) ; } extern "C" { pub fn btor2parse...
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21264
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...or2Parser) ; } extern "C" { pub fn btor2parser_read_lines (arg1 : * mut Btor2Parser , arg2 : * mut FILE) -> i32 ; } extern "C" { p...
[INFO] [stdout]   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21365
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...> i32 ; } extern "C" { pub fn btor2parser_error (arg1 : * mut Btor2Parser) -> * const :: std :: os :: raw :: c_char ; } extern "C"...
[INFO] [stdout]   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21475
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... raw :: c_char ; } extern "C" { pub fn btor2parser_iter_init (bfr : * mut Btor2Parser) -> Btor2LineIterator ; } extern "C" { pub f...
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21568
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...ineIterator ; } extern "C" { pub fn btor2parser_iter_next (arg1 : * mut Btor2LineIterator) -> * mut Btor2Line ; } extern "C" { pub...
[INFO] [stdout]   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21666
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...or) -> * mut Btor2Line ; } extern "C" { pub fn btor2parser_max_id (arg1 : * mut Btor2Parser) -> i64 ; } extern "C" { pub fn btor2p...
[INFO] [stdout]   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: extern blocks must be unsafe
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/btor2tools-sys-79be96ddfe737a40/out/bindings.rs:3:21743
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...-> i64 ; } extern "C" { pub fn btor2parser_get_line_by_id (arg1 : * mut Btor2Parser , id : i64) -> * mut Btor2Line ; }
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `btor2tools-sys` (lib test) due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2", kill_on_drop: false }`
[INFO] [stdout] 5dfb2481f301c9e406ccf90563126a7800ea5093f1c0020f842d0612375bf4a2
